1. Explosion, shock wave and hypervelocity phenomena in materials: proceedings of the 1st International Symposium on Explosion, Shock Wave and Hypervelocity Phenomena )ESHP Symposium(, 15-17 March 2004, Kumamoto, Japan

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : Congresses ، Explosions,Congresses ، Shock waves,Congresses ، Impact

رده :
TA
401
.
M365
V
.
465/466
2004

2. Japanese society and lay participation in criminal justice :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Criminal justice, Administration of-- Japan-- Citizen participation.,Criminal justice, Administration of-- Citizen participation.,SOCIAL SCIENCE-- Criminology.,Japan., 7

رده :
HV9960
.
J3
F85
2018eb

3. Local electronic government :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Comparative government.,Internet in public administration.,Local government.,Comparative government.,Internet in public administration.,Local government.,POLITICAL SCIENCE-- Public Affairs & Administration.

رده :
JS100
.
L63
2005eb

4. Micro and nano technologies in bioanalysis :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Microfluidics,Nanotechnology,Microfluidics-- methods, Laboratory Manuals,Nanotechnology-- methods, Laboratory Manuals

رده :
R857
.
M53
2009

5. Practical design verification /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Integrated circuits-- Verification.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7874
.
58
.
P73
2009eb

6. Representations of discrete functions

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design

رده :
TK
7874
.
75
.
R47
1996

7. SoC :-VLSI

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Very large scale integration ; Congresses. ;

8. VLSI-SoC :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer network architectures, Congresses.,Integrated circuits-- Very large scale integration, Congresses.,Internet of things, Congresses.,Systems on a chip, Congresses.,Computer network architectures.,Integrated circuits-- Very large scale integration.,Internet of things.,Systems on a chip.

رده :
TK7874
.
75
.
I34
2018

9. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42
.
F95
2008

10. Verification techniques for system-level design /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7895
.
E42
F95
2008eb

11. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42F84